; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 5 to i64
  %".5" = and i64 %".4", 63
  %".6" = lshr i64 %"SymVar_0", %".5"
  %".7" = and i64 87652534112836074, %".6"
  %".8" = and i64 117850039, %".7"
  %".9" = or i64 441848546, %"SymVar_0"
  %".10" = add i64 %".8", %".9"
  %".11" = and i64 15, %".10"
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = shl i64 %".11", %".13"
  %".15" = and i64 15, %".10"
  %".16" = zext i8 3 to i64
  %".17" = and i64 %".16", 63
  %".18" = shl i64 %".15", %".17"
  %".19" = sub i64 %"SymVar_0", 63267836
  %".20" = or i64 %".18", %".19"
  %".21" = or i64 %".14", %".20"
  %".22" = and i64 15, %".21"
  %".23" = zext i8 3 to i64
  %".24" = and i64 %".23", 63
  %".25" = shl i64 %".22", %".24"
  %".26" = or i64 %".25", %".21"
  %".27" = and i64 31, %".26"
  %".28" = zext i8 3 to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 %".27", %".29"
  %".31" = and i64 31, %".20"
  %".32" = zext i8 3 to i64
  %".33" = and i64 %".32", 63
  %".34" = shl i64 %".31", %".33"
  %".35" = sub i64 %"SymVar_0", 43022659
  %".36" = zext i8 3 to i64
  %".37" = and i64 %".36", 63
  %".38" = lshr i64 %".10", %".37"
  %".39" = and i64 15, %".38"
  %".40" = or i64 1, %".39"
  %".41" = sub i64 64, %".40"
  %".42" = trunc i64 %".41" to i8
  %".43" = zext i8 %".42" to i64
  %".44" = and i64 %".43", 63
  %".45" = lshr i64 828565327, %".44"
  %".46" = zext i8 3 to i64
  %".47" = and i64 %".46", 63
  %".48" = lshr i64 %".10", %".47"
  %".49" = and i64 15, %".48"
  %".50" = or i64 1, %".49"
  %".51" = trunc i64 %".50" to i8
  %".52" = zext i8 %".51" to i64
  %".53" = and i64 %".52", 63
  %".54" = shl i64 828565327, %".53"
  %".55" = or i64 %".45", %".54"
  %".56" = zext i8 4 to i64
  %".57" = and i64 %".56", 63
  %".58" = lshr i64 %".55", %".57"
  %".59" = and i64 7, %".58"
  %".60" = or i64 1, %".59"
  %".61" = trunc i64 %".60" to i8
  %".62" = zext i8 %".61" to i64
  %".63" = and i64 %".62", 63
  %".64" = shl i64 %".35", %".63"
  %".65" = or i64 %".34", %".64"
  %".66" = or i64 %".30", %".65"
  %".67" = add i64 %".66", %".66"
  %".68" = and i64 7, %".67"
  %".69" = zext i8 2 to i64
  %".70" = and i64 %".69", 63
  %".71" = shl i64 %".68", %".70"
  %".72" = and i64 15, %".26"
  %".73" = zext i8 3 to i64
  %".74" = and i64 %".73", 63
  %".75" = shl i64 %".72", %".74"
  %".76" = or i64 %".75", %".26"
  %".77" = or i64 %".71", %".76"
  %".78" = lshr i64 %".7", 48
  %".79" = trunc i64 %".78" to i8
  %".80" = zext i8 %".79" to i32
  %".81" = zext i32 %".80" to i64
  %".82" = trunc i64 %".81" to i8
  %".83" = zext i8 %".82" to i32
  %".84" = zext i32 %".83" to i64
  %".85" = trunc i64 %".84" to i8
  %".86" = zext i8 %".85" to i32
  %".87" = zext i32 %".86" to i64
  %".88" = trunc i64 %".87" to i8
  %".89" = zext i8 %".88" to i32
  %".90" = zext i32 %".89" to i64
  %".91" = trunc i64 %".90" to i8
  %".92" = zext i8 %".91" to i32
  %".93" = zext i32 %".92" to i64
  %".94" = trunc i64 %".93" to i8
  %".95" = zext i8 %".94" to i32
  %".96" = zext i32 %".95" to i64
  %".97" = trunc i64 %".96" to i8
  %".98" = zext i8 %".97" to i32
  %".99" = zext i32 %".98" to i64
  %".100" = trunc i64 %".99" to i8
  %".101" = zext i8 %".100" to i32
  %".102" = zext i32 %".101" to i64
  %".103" = trunc i64 %".102" to i8
  %".104" = zext i8 %".103" to i64
  %".105" = lshr i64 %".7", 8
  %".106" = trunc i64 %".105" to i8
  %".107" = zext i8 %".106" to i64
  %".108" = shl i64 %".107", 8
  %".109" = or i64 %".104", %".108"
  %".110" = lshr i64 %".7", 16
  %".111" = trunc i64 %".110" to i8
  %".112" = zext i8 %".111" to i64
  %".113" = shl i64 %".112", 16
  %".114" = or i64 %".109", %".113"
  %".115" = lshr i64 %".7", 24
  %".116" = trunc i64 %".115" to i8
  %".117" = zext i8 %".116" to i64
  %".118" = shl i64 %".117", 24
  %".119" = or i64 %".114", %".118"
  %".120" = lshr i64 %".7", 40
  %".121" = trunc i64 %".120" to i8
  %".122" = zext i8 %".121" to i32
  %".123" = zext i32 %".122" to i64
  %".124" = trunc i64 %".123" to i8
  %".125" = zext i8 %".124" to i32
  %".126" = zext i32 %".125" to i64
  %".127" = trunc i64 %".126" to i8
  %".128" = zext i8 %".127" to i32
  %".129" = zext i32 %".128" to i64
  %".130" = trunc i64 %".129" to i8
  %".131" = zext i8 %".130" to i32
  %".132" = zext i32 %".131" to i64
  %".133" = trunc i64 %".132" to i8
  %".134" = zext i8 %".133" to i32
  %".135" = zext i32 %".134" to i64
  %".136" = trunc i64 %".135" to i8
  %".137" = zext i8 %".136" to i32
  %".138" = zext i32 %".137" to i64
  %".139" = trunc i64 %".138" to i8
  %".140" = zext i8 %".139" to i32
  %".141" = zext i32 %".140" to i64
  %".142" = trunc i64 %".141" to i8
  %".143" = zext i8 %".142" to i32
  %".144" = zext i32 %".143" to i64
  %".145" = trunc i64 %".144" to i8
  %".146" = zext i8 %".145" to i64
  %".147" = shl i64 %".146", 32
  %".148" = or i64 %".119", %".147"
  %".149" = lshr i64 %".7", 32
  %".150" = trunc i64 %".149" to i8
  %".151" = zext i8 %".150" to i32
  %".152" = zext i32 %".151" to i64
  %".153" = trunc i64 %".152" to i8
  %".154" = zext i8 %".153" to i32
  %".155" = zext i32 %".154" to i64
  %".156" = trunc i64 %".155" to i8
  %".157" = zext i8 %".156" to i32
  %".158" = zext i32 %".157" to i64
  %".159" = trunc i64 %".158" to i8
  %".160" = zext i8 %".159" to i32
  %".161" = zext i32 %".160" to i64
  %".162" = trunc i64 %".161" to i8
  %".163" = zext i8 %".162" to i64
  %".164" = shl i64 %".163", 40
  %".165" = or i64 %".148", %".164"
  %".166" = trunc i64 %".7" to i8
  %".167" = zext i8 %".166" to i32
  %".168" = zext i32 %".167" to i64
  %".169" = trunc i64 %".168" to i8
  %".170" = zext i8 %".169" to i32
  %".171" = zext i32 %".170" to i64
  %".172" = trunc i64 %".171" to i8
  %".173" = zext i8 %".172" to i32
  %".174" = zext i32 %".173" to i64
  %".175" = trunc i64 %".174" to i8
  %".176" = zext i8 %".175" to i32
  %".177" = zext i32 %".176" to i64
  %".178" = trunc i64 %".177" to i8
  %".179" = zext i8 %".178" to i64
  %".180" = shl i64 %".179", 48
  %".181" = or i64 %".165", %".180"
  %".182" = lshr i64 %".7", 56
  %".183" = trunc i64 %".182" to i8
  %".184" = zext i8 %".183" to i64
  %".185" = shl i64 %".184", 56
  %".186" = or i64 %".181", %".185"
  %".187" = and i64 63, %".186"
  %".188" = zext i8 4 to i64
  %".189" = and i64 %".188", 63
  %".190" = shl i64 %".187", %".189"
  %".191" = lshr i64 %".10", 32
  %".192" = trunc i64 %".191" to i8
  %".193" = zext i8 %".192" to i32
  %".194" = lshr i64 %".10", 40
  %".195" = trunc i64 %".194" to i8
  %".196" = zext i8 %".195" to i32
  %".197" = shl i32 %".196", 8
  %".198" = or i32 %".193", %".197"
  %".199" = lshr i64 %".10", 48
  %".200" = trunc i64 %".199" to i8
  %".201" = zext i8 %".200" to i32
  %".202" = shl i32 %".201", 16
  %".203" = or i32 %".198", %".202"
  %".204" = lshr i64 %".10", 56
  %".205" = trunc i64 %".204" to i8
  %".206" = zext i8 %".205" to i32
  %".207" = shl i32 %".206", 24
  %".208" = or i32 %".203", %".207"
  %".209" = zext i32 %".208" to i64
  %".210" = trunc i64 %".209" to i32
  %".211" = zext i32 %".210" to i64
  %".212" = trunc i64 %".211" to i32
  %".213" = zext i32 %".212" to i64
  %".214" = trunc i64 %".213" to i32
  %".215" = zext i32 %".214" to i64
  %".216" = trunc i64 %".215" to i32
  %".217" = trunc i32 %".216" to i8
  %".218" = zext i8 %".217" to i64
  %".219" = trunc i64 %".215" to i32
  %".220" = lshr i32 %".219", 8
  %".221" = trunc i32 %".220" to i8
  %".222" = zext i8 %".221" to i64
  %".223" = shl i64 %".222", 8
  %".224" = or i64 %".218", %".223"
  %".225" = trunc i64 %".215" to i32
  %".226" = lshr i32 %".225", 16
  %".227" = trunc i32 %".226" to i8
  %".228" = zext i8 %".227" to i64
  %".229" = shl i64 %".228", 16
  %".230" = or i64 %".224", %".229"
  %".231" = trunc i64 %".215" to i32
  %".232" = lshr i32 %".231", 24
  %".233" = trunc i32 %".232" to i8
  %".234" = zext i8 %".233" to i64
  %".235" = shl i64 %".234", 24
  %".236" = or i64 %".230", %".235"
  %".237" = trunc i64 %".10" to i8
  %".238" = zext i8 %".237" to i32
  %".239" = lshr i64 %".10", 8
  %".240" = trunc i64 %".239" to i8
  %".241" = zext i8 %".240" to i32
  %".242" = shl i32 %".241", 8
  %".243" = or i32 %".238", %".242"
  %".244" = lshr i64 %".10", 16
  %".245" = trunc i64 %".244" to i8
  %".246" = zext i8 %".245" to i32
  %".247" = shl i32 %".246", 16
  %".248" = or i32 %".243", %".247"
  %".249" = lshr i64 %".10", 24
  %".250" = trunc i64 %".249" to i8
  %".251" = zext i8 %".250" to i32
  %".252" = shl i32 %".251", 24
  %".253" = or i32 %".248", %".252"
  %".254" = zext i32 %".253" to i64
  %".255" = trunc i64 %".254" to i32
  %".256" = zext i32 %".255" to i64
  %".257" = trunc i64 %".256" to i32
  %".258" = zext i32 %".257" to i64
  %".259" = trunc i64 %".258" to i32
  %".260" = zext i32 %".259" to i64
  %".261" = trunc i64 %".260" to i32
  %".262" = zext i32 %".261" to i64
  %".263" = trunc i64 %".262" to i32
  %".264" = zext i32 %".263" to i64
  %".265" = trunc i64 %".264" to i32
  %".266" = zext i32 %".265" to i64
  %".267" = trunc i64 %".266" to i32
  %".268" = zext i32 %".267" to i64
  %".269" = trunc i64 %".268" to i32
  %".270" = trunc i32 %".269" to i8
  %".271" = zext i8 %".270" to i64
  %".272" = shl i64 %".271", 32
  %".273" = or i64 %".236", %".272"
  %".274" = trunc i64 %".268" to i32
  %".275" = lshr i32 %".274", 8
  %".276" = trunc i32 %".275" to i8
  %".277" = zext i8 %".276" to i64
  %".278" = shl i64 %".277", 40
  %".279" = or i64 %".273", %".278"
  %".280" = trunc i64 %".268" to i32
  %".281" = lshr i32 %".280", 16
  %".282" = trunc i32 %".281" to i8
  %".283" = zext i8 %".282" to i64
  %".284" = shl i64 %".283", 48
  %".285" = or i64 %".279", %".284"
  %".286" = trunc i64 %".268" to i32
  %".287" = lshr i32 %".286", 24
  %".288" = trunc i32 %".287" to i8
  %".289" = zext i8 %".288" to i64
  %".290" = shl i64 %".289", 56
  %".291" = or i64 %".285", %".290"
  %".292" = or i64 %".190", %".291"
  %".293" = zext i8 3 to i64
  %".294" = and i64 %".293", 63
  %".295" = lshr i64 %".292", %".294"
  %".296" = and i64 15, %".295"
  %".297" = or i64 1, %".296"
  %".298" = sub i64 64, %".297"
  %".299" = trunc i64 %".298" to i8
  %".300" = zext i8 %".299" to i64
  %".301" = and i64 %".300", 63
  %".302" = shl i64 %".77", %".301"
  %".303" = zext i8 3 to i64
  %".304" = and i64 %".303", 63
  %".305" = lshr i64 %".292", %".304"
  %".306" = and i64 15, %".305"
  %".307" = or i64 1, %".306"
  %".308" = trunc i64 %".307" to i8
  %".309" = zext i8 %".308" to i64
  %".310" = and i64 %".309", 63
  %".311" = lshr i64 %".77", %".310"
  %".312" = or i64 %".302", %".311"
  %".313" = and i64 15, %".312"
  %".314" = zext i8 2 to i64
  %".315" = and i64 %".314", 63
  %".316" = shl i64 %".313", %".315"
  %".317" = lshr i64 %".66", 32
  %".318" = trunc i64 %".317" to i8
  %".319" = zext i8 %".318" to i32
  %".320" = lshr i64 %".66", 40
  %".321" = trunc i64 %".320" to i8
  %".322" = zext i8 %".321" to i32
  %".323" = shl i32 %".322", 8
  %".324" = or i32 %".319", %".323"
  %".325" = lshr i64 %".66", 48
  %".326" = trunc i64 %".325" to i8
  %".327" = zext i8 %".326" to i32
  %".328" = shl i32 %".327", 16
  %".329" = or i32 %".324", %".328"
  %".330" = lshr i64 %".66", 56
  %".331" = trunc i64 %".330" to i8
  %".332" = zext i8 %".331" to i32
  %".333" = shl i32 %".332", 24
  %".334" = or i32 %".329", %".333"
  %".335" = zext i32 %".334" to i64
  %".336" = trunc i64 %".335" to i32
  %".337" = zext i32 %".336" to i64
  %".338" = trunc i64 %".337" to i32
  %".339" = zext i32 %".338" to i64
  %".340" = trunc i64 %".339" to i32
  %".341" = zext i32 %".340" to i64
  %".342" = trunc i64 %".341" to i32
  %".343" = zext i32 %".342" to i64
  %".344" = trunc i64 %".343" to i32
  %".345" = zext i32 %".344" to i64
  %".346" = trunc i64 %".345" to i32
  %".347" = zext i32 %".346" to i64
  %".348" = trunc i64 %".347" to i32
  %".349" = zext i32 %".348" to i64
  %".350" = trunc i64 %".349" to i32
  %".351" = trunc i32 %".350" to i8
  %".352" = zext i8 %".351" to i64
  %".353" = trunc i64 %".349" to i32
  %".354" = lshr i32 %".353", 8
  %".355" = trunc i32 %".354" to i8
  %".356" = zext i8 %".355" to i64
  %".357" = shl i64 %".356", 8
  %".358" = or i64 %".352", %".357"
  %".359" = trunc i64 %".349" to i32
  %".360" = lshr i32 %".359", 16
  %".361" = trunc i32 %".360" to i8
  %".362" = zext i8 %".361" to i64
  %".363" = shl i64 %".362", 16
  %".364" = or i64 %".358", %".363"
  %".365" = trunc i64 %".349" to i32
  %".366" = lshr i32 %".365", 24
  %".367" = trunc i32 %".366" to i8
  %".368" = zext i8 %".367" to i64
  %".369" = shl i64 %".368", 24
  %".370" = or i64 %".364", %".369"
  %".371" = trunc i64 %".66" to i8
  %".372" = zext i8 %".371" to i32
  %".373" = lshr i64 %".66", 8
  %".374" = trunc i64 %".373" to i8
  %".375" = zext i8 %".374" to i32
  %".376" = shl i32 %".375", 8
  %".377" = or i32 %".372", %".376"
  %".378" = lshr i64 %".66", 16
  %".379" = trunc i64 %".378" to i8
  %".380" = zext i8 %".379" to i32
  %".381" = shl i32 %".380", 16
  %".382" = or i32 %".377", %".381"
  %".383" = lshr i64 %".66", 24
  %".384" = trunc i64 %".383" to i8
  %".385" = zext i8 %".384" to i32
  %".386" = shl i32 %".385", 24
  %".387" = or i32 %".382", %".386"
  %".388" = zext i32 %".387" to i64
  %".389" = trunc i64 %".388" to i32
  %".390" = zext i32 %".389" to i64
  %".391" = trunc i64 %".390" to i32
  %".392" = zext i32 %".391" to i64
  %".393" = trunc i64 %".392" to i32
  %".394" = zext i32 %".393" to i64
  %".395" = trunc i64 %".394" to i32
  %".396" = trunc i32 %".395" to i8
  %".397" = zext i8 %".396" to i64
  %".398" = shl i64 %".397", 32
  %".399" = or i64 %".370", %".398"
  %".400" = trunc i64 %".394" to i32
  %".401" = lshr i32 %".400", 8
  %".402" = trunc i32 %".401" to i8
  %".403" = zext i8 %".402" to i64
  %".404" = shl i64 %".403", 40
  %".405" = or i64 %".399", %".404"
  %".406" = trunc i64 %".394" to i32
  %".407" = lshr i32 %".406", 16
  %".408" = trunc i32 %".407" to i8
  %".409" = zext i8 %".408" to i64
  %".410" = shl i64 %".409", 48
  %".411" = or i64 %".405", %".410"
  %".412" = trunc i64 %".394" to i32
  %".413" = lshr i32 %".412", 24
  %".414" = trunc i32 %".413" to i8
  %".415" = zext i8 %".414" to i64
  %".416" = shl i64 %".415", 56
  %".417" = or i64 %".411", %".416"
  %".418" = or i64 %".316", %".417"
  %".419" = or i64 %".77", %".418"
  %".420" = zext i8 %".103" to i64
  %".421" = zext i8 %".106" to i64
  %".422" = shl i64 %".421", 8
  %".423" = or i64 %".420", %".422"
  %".424" = zext i8 %".111" to i64
  %".425" = shl i64 %".424", 16
  %".426" = or i64 %".423", %".425"
  %".427" = zext i8 %".116" to i64
  %".428" = shl i64 %".427", 24
  %".429" = or i64 %".426", %".428"
  %".430" = zext i8 %".145" to i64
  %".431" = shl i64 %".430", 32
  %".432" = or i64 %".429", %".431"
  %".433" = zext i8 %".162" to i64
  %".434" = shl i64 %".433", 40
  %".435" = or i64 %".432", %".434"
  %".436" = zext i8 %".178" to i64
  %".437" = shl i64 %".436", 48
  %".438" = or i64 %".435", %".437"
  %".439" = zext i8 %".183" to i64
  %".440" = shl i64 %".439", 56
  %".441" = or i64 %".438", %".440"
  %".442" = zext i8 3 to i64
  %".443" = and i64 %".442", 63
  %".444" = lshr i64 %".292", %".443"
  %".445" = and i64 7, %".444"
  %".446" = or i64 1, %".445"
  %".447" = trunc i64 %".446" to i8
  %".448" = zext i8 %".447" to i64
  %".449" = and i64 %".448", 63
  %".450" = shl i64 %".441", %".449"
  %".451" = or i64 %".419", %".450"
  ret i64 %".451"
}
